A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems
نویسندگان
چکیده
The paper deals with automatic reconfiguration problems of distributed control systems that are composed of a group/set of networked reconfigurable devices. A multi-agent architecture is proposed such that each device of a distributed control system has a special self-governed agent named reconfiguration sub-controller agent to manage its local reconfiguration. Accordingly, a communication protocol is developed to handle interaction style among these agents for the purpose of consistency. The proposed architecture is modeled by RECATNets and the distributed reconfiguration process is modeled by an ECATNet. Furthermore, in order to check the correctness of the proposed approach, the model checker Maude is applied, where required properties are specified by Linear Temporal Logic. Finally, a virtual distributed control system contains two reconfigurable devices is applied to illustrate this work.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملDistributed Voltage Control in Distribution Networks with High Penetration of Photovoltaic Systems
In this paper, a distributed method for reactive power management in a distribution system has been presented. The proposed method focuses on the voltage rise where the distribution systems are equipped with a considerable number of photovoltaic units. This paper proposes the alternating direction method of multipliers (ADMMs) approach for solving the optimal voltage control problem in a distri...
متن کاملA harmony search-based approach for real-time volt & var control in distribution network by considering distributed generations units
In recent decade, development of telecommunications infrastructure has led to rapid exchange of data between the distribution network components and the control center in many developed countries. These changes, considering the numerous benefits of the Distributed Generators (DGs), have made more motivations for distribution companies to utilize these kinds of generators more than ever before. ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDistributed Control Systems Simulation Using High Level Petri Nets
To deal with the complexity of the implementation of control systems for exible manufacturing systems formal methods of design are needed. In this work the modelling and validation tool selected is high level Petri nets. Based on this approach we have studied the problems that a distributed implementation can produce. For the evaluation of diierent strategies of the model implementation and the...
متن کامل